121. Formal concept analysis :
پدیدآورنده : Bernhard Ganter, Rudolf Wille ; [translated from the German by Cornelia Franzke]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematical models,Comprehension (Theory of knowledge)-- Mathematical models,Information theory,Lattice theory,Logic, Symbolic and mathematical
رده :
QA171
.
5
.
G3513
1999
122. Formal concept analysis
پدیدآورنده : Petko Valtchev, Robert Jeaschke (eds.)
موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
123. Formal concept analysis : foundations and applications
پدیدآورنده : Bernhard Ganter, Gerd Stumme, Rudolf Wille )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3626
124. Formal concept analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings
پدیدآورنده : Rokia Missaoui, Jurg Schmid )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Mathematical models -- Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3874
125. Formal concept analysis :4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /Rokia Missaoui, Juجˆrg Schmid (eds.).
پدیدآورنده : مولف
کتابخانه: (هرمزکان)
موضوع : Lattice theory,Comprehension (Theory of knowledge)--Mathematical models,Information theory,Artificial intelligence--Mathematical models,Logic, Symbolic and mathematical
126. Formal concept analysis : third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings
پدیدآورنده : Bernhard Ganter, Robert Godin )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Mathematical models -- Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory
رده :
QA
76
.
L28
Vol
.
3403
127. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
128. Formal systems and recursive functions /
پدیدآورنده : edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
129. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
130. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
131. Frege and other philosophers
پدیدآورنده : Dummett, Michael
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
132. Frege and other philosophers
پدیدآورنده : Dummett, Michael A. E.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
133. Frege and other philosophers
پدیدآورنده : Dummett, Michael Anthony Eardley, 5291-1102
کتابخانه: (طهران)
موضوع : ، Frege, Gottlob, 8481-5291,Influence ، Frege, Gottlob, 8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24D86
1991
134. Frege :making sense
پدیدآورنده : Beaney, Michael.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
135. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Mathematical analysis -- Foundations,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
F73
136. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
137. Fundamentals of Fuzzy Sets
پدیدآورنده : edited by Didier Dubois, Henri Prade.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
138. Fuzzy Algorithms for Control
پدیدآورنده : edited by H. B. Verbruggen, H.-J. Zimmermann, R. Babuška.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
139. Fuzzy Decision Procedures with Binary Relations :
پدیدآورنده : by Leonid Kitainik.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Operations research.
رده :
QA279
.
4
B954
1993